Temporal Integrity Constraints
نویسنده
چکیده
Temporal integrity constraints are integrity constraints formulated over temporal databases. They can express dynamic properties by referring to data valid at different time points. This is to be contrasted with databases that do not store past or future information: if integrity constraints can only refer to data valid at the current time, they can only express static properties. Languages for expressing temporal integrity constraints extend first-order logic with explicit timestamps or with temporal connectives. An important question is how to check and enforce such temporal integrity constraints efficiently.
منابع مشابه
Temporal Dependencies
Static integrity constraints involve only the current database state. Temporal integrity constraints involve current, past, and future database states; they can be expressed by essentially unrestricted sentences in temporal logic. Certain syntactically restricted classes of temporal constraints have been studied in their own right for considerations of feasibility or practicality; they are usua...
متن کاملChomicki and Toman : Implementing Temporal Integrity Constraints Using an Active Dbms
|The paper proposes a general architecture for implementing temporal integrity constraints by compiling them into a set of active DBMS rules. The modularity of the design allows easy adaptation to diierent environments. Both diierences in the speciication languages and in the target rule systems can be easily accommodated. The advantages of this architecture are demonstrated on a particular tem...
متن کاملExpression and Enforcement of Dynamic Integrity Constraints
The interest in consistency enforcement in the field of database and in expert systems is nowadays widespread. Special attention has been given in the literature to the subtopic of static integrity constraints. This paper centers instead on the automatic enforcement of dynamic consistency constraints, i.e. those integrity constraints that cannot be checked by solely inspecting the most recent s...
متن کاملImplementing Temporal Integrity
|The paper proposes a general architecture for implementing temporal integrity constraints by compiling them into a set of active DBMS rules. The modularity of the design allows easy adaptation to diierent environments. Both diierences in the speciication languages and in the target rule systems can be easily accommodated. The advantages of this architecture are demonstrated on a particular tem...
متن کامل"Temporal" Integrity Constraints in Temporal Databases
In this paper we consider a class of integrity constraints which describe admissible lifecycles of database objects, and which can be speciied by transition graphs. We present an algorithmic scheme for monitoring such constraints in temporal databases which eeciently support the concept of valid-time. The keys to eecient monitoring lie in storing lifecycle situations with respect to constraints...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009